More from this Author
Found 4 books by Ahmed Bouajjani (Editor)
Computer Aided Verification
by Ahmed Bouajjani (Editor), Oded Maler (Editor)
Networked Systems
by Ahmed Bouajjani (Editor), Hugues Fauconnier (Editor)
Verification, Model Checking, and Abstract Interpretation
by Ahmed Bouajjani (Editor), David Monniaux (Editor)
Networked Systems
by Ahmed Bouajjani (Editor), Hugues Fauconnier (Editor)